Finite Domain Bounds Consistency Revisited

A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagation is performed by propagators implementing a certain notion of consistency. Bounds consistency is the method of choice for building propagators for arithmetic constraints and several global constraints in the finite integer domain. However, there has been some confusion in the definition of bounds consistency. In this paper we clarify the differences and similarities among the three commonly used notions of bounds consistency.Comment: 12 page

Towards Full Automated Drive in Urban Environments: A Demonstration in GoMentum Station, California

Each year, millions of motor vehicle traffic accidents all over the world cause a large number of fatalities, injuries and significant material loss. Automated Driving (AD) has potential to drastically reduce such accidents. In this work, we focus on the technical challenges that arise from AD in urban environments. We present the overall architecture of an AD system and describe in detail the perception and planning modules. The AD system, built on a modified Acura RLX, was demonstrated in a course in GoMentum Station in California. We demonstrated autonomous handling of 4 scenarios: traffic lights, cross-traffic at intersections, construction zones and pedestrians. The AD vehicle displayed safe behavior and performed consistently in repeated demonstrations with slight variations in conditions. Overall, we completed 44 runs, encompassing 110km of automated driving with only 3 cases where the driver intervened the control of the vehicle, mostly due to error in GPS positioning. Our demonstration showed that robust and consistent behavior in urban scenarios is possible, yet more investigation is necessary for full scale roll-out on public roads.Comment: Accepted to Intelligent Vehicles Conference (IV 2017

A Comparison of Lex Bounds for Multiset Variables in Constraint Programming

Set and multiset variables in constraint programming have typically been represented using subset bounds. However, this is a weak representation that neglects potentially useful information about a set such as its cardinality. For set variables, the length-lex (LL) representation successfully provides information about the length (cardinality) and position in the lexicographic ordering. For multiset variables, where elements can be repeated, we consider richer representations that take into account additional information. We study eight different representations in which we maintain bounds according to one of the eight different orderings: length-(co)lex (LL/LC), variety-(co)lex (VL/VC), length-variety-(co)lex (LVL/LVC), and variety-length-(co)lex (VLL/VLC) orderings. These representations integrate together information about the cardinality, variety (number of distinct elements in the multiset), and position in some total ordering. Theoretical and empirical comparisons of expressiveness and compactness of the eight representations suggest that length-variety-(co)lex (LVL/LVC) and variety-length-(co)lex (VLL/VLC) usually give tighter bounds after constraint propagation. We implement the eight representations and evaluate them against the subset bounds representation with cardinality and variety reasoning. Results demonstrate that they offer significantly better pruning and runtime.Comment: 7 pages, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11

Solving the Salinity Control Problem in a Potable Water System

Abstract. Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the winter dry season, the intrusion of sea water raises the salinity of the river to a high level and affects approximately the daily life of 450,000 residents of the city. This paper reports the application of constraint programming (CP) to optimize the logistical operations of the raw water system so as to satisfy the daily water consumption requirement of the city and to keep the potable salinity below a desirable level for as many days as possible. CP is the key to the success of the project for its separation of concerns and powerful constraint language that allows for rapid construction of a functional prototype and production system. Flexibility and adaptiveness allow us to deal with our clients' many changes in the requirements. Deriving good variable and value ordering heuristics, and generating useful implied constraints, we demonstrate that branch-and-bound search with constraint propagation can cope with an optimization problem of large size and great difficulty

Basal Cell Carcinoma of the Head and Neck Region in Ethnic Chinese

Objectives. This study aims to report our experience in the management of HNBCC in ethnic Chinese over a 10-year period. Methods. A retrospective review of all ethnic Chinese patients with HNBCC treated in a tertiary centre from 1999 to 2009. Results. From 1999 to 2009, 225 patients underwent surgical excision for HNBCC. Majority were elderly female patients. Commonest presentation was a pigmented (76.2%) ulcer (64.8%) over the nose (31.6%). Median skin margin taken on tumour excision was 2.0 mm; primary skin closure was achieved in 51.8%. Postresection skin margin was clear in 75.4%. Of those with inadequate skin margins, 56.7% opted for further treatment, 43.4% for observation. Recurrence rates were 2.6% and 13.8%, respectively (P = 0.106). Overall recurrence rate was 5.5%. Conclusions. HNBCC commonly presented as pigmented ulcers over the nose of elderly female patients in our locality. Adequate tumour excision ± reconstruction offered the best chance of cure. Reexcision of those with inadequate skin margins improved local tumour control

Oncological outcome after free jejunal flap reconstruction for carcinoma of the hypopharynx

It has been a common practice among the oncologist to reduce the dosage of adjuvant radiotherapy for patients after free jejunal flap reconstruction. The current aims to study potential risk of radiation to the visceral flap and the subsequent oncological outcome. Between 1996 and 2010, consecutive patients with carcinoma of the hypopharynx requiring laryngectomy, circumferential pharyngectomy and post-operative irradiation were recruited. Ninety-six patients were recruited. TNM tumor staging at presentation was: stage II (40.6%), stage III (34.4%) and stage IV (25.0%). Median follow-up period after surgery was 68 months. After tumor ablation, reconstruction was performed using free jejunal flap (60.4%), pectoralis major myocutaneous (PM) flap (31.3%) and free anterolateral thigh (ALT) flap (8.3%). All patients underwent adjuvant radiotherapy within 6.4 weeks after surgery. The mean total dose of radiation given to those receiving cutaneous and jejunal flap reconstruction was 62.2 Gy and 54.8 Gy, respectively. There was no secondary ischaemia or necrosis of the flaps after radiotherapy. The 5-year actuarial loco-regional tumor control for the cutaneous flap and jejunal flap group was: stage II (61 vs. 69%, p = 0.9), stage III (36 vs. 46%, p = 0.2) and stage IV (32 vs. 14%, p = 0.04), respectively. Reduction of radiation dosage in free jejunal group adversely affects the oncological control in stage IV hypopharyngeal carcinoma. In such circumstances, tubed cutaneous flaps are the preferred reconstructive option, so that full-dose radiotherapy can be given

Association and interaction of PPAR-complex gene variants with latent traits of left ventricular diastolic function

<p>Abstract</p> <p>Background</p> <p>Abnormalities in myocardial metabolism and/or regulatory genes have been implicated in left ventricular systolic dysfunction. However, the extent to which these modulate left ventricular diastolic function (LVDF) is uncertain.</p> <p>Methods</p> <p>Independent component analysis was applied to extract latent LVDF traits from 14 measured echocardiography-derived endophenotypes of LVDF in 403 Caucasians. Genetic association was assessed between measured and latent LVDF traits and 64 single nucleotide polymorphisms (SNPs) in three peroxisome proliferator-activated receptor <it>(PPAR)</it>-complex genes involved in the transcriptional regulation of fatty acid metabolism.</p> <p>Results</p> <p>By linear regression analysis, 7 SNPs (4 in <it>PPARA</it>, 2 in <it>PPARGC1A</it>, 1 in <it>PPARG</it>) were significantly associated with the latent LVDF trait, whereas a range of 0-4 SNPs were associated with each of the 14 measured echocardiography-derived endophenotypes. Frequency distribution of <it>P </it>values showed a greater proportion of significant associations with the latent LVDF trait than for the measured endophenotypes, suggesting that analyses of the latent trait improved detection of the genetic underpinnings of LVDF. Ridge regression was applied to investigate within-gene and gene-gene interactions. In the within-gene analysis, there were five significant pair-wise interactions in <it>PPARGC1A </it>and none in <it>PPARA </it>or <it>PPARG</it>. In the gene-gene analysis, significant interactions were found between rs4253655 in <it>PPARA </it>and rs1873532 (p = 0.02) and rs7672915 (p = 0.02), both in <it>PPARGC1A</it>, and between rs1151996 in <it>PPARG </it>and rs4697046 in <it>PPARGC1A </it>(p = 0.01).</p> <p>Conclusions</p> <p>Myocardial metabolism <it>PPAR</it>-complex genes, including within and between genes interactions, may play an important role modulating left ventricular diastolic function.</p

Metagenomic next-generation sequencing of the 2014 Ebola Virus disease outbreak in the Democratic Republic of the Congo

We applied metagenomic next-generation sequencing (mNGS) to detect Zaire Ebola virus (EBOV) and other potential pathogens from whole-blood samples from 70 patients with suspected Ebola hemorrhagic fever during a 2014 outbreak in Boende, Democratic Republic of the Congo (DRC) and correlated these findings with clinical symptoms. Twenty of 31 patients (64.5%) tested in Kinshasa, DRC, were EBOV positive by quantitative reverse transcriptase PCR (qRT-PCR). Despite partial degradation of sample RNA during shipping and handling, mNGS followed by EBOV-specific capture probe enrichment in a U.S. genomics laboratory identified EBOV reads in 22 of 70 samples (31.4%) versus in 21 of 70 (30.0%) EBOV-positive samples by repeat qRT-PCR (overall concordance = 87.1%). Reads from Plasmodium falciparum (malaria) were detected in 21 patients, of which at least 9 (42.9%) were coinfected with EBOV. Other positive viral detections included hepatitis B virus (n = 2), human pegivirus 1 (n = 2), Epstein-Barr virus (n = 9), and Orungo virus (n = 1), a virus in the Reoviridae family. The patient with Orungo virus infection presented with an acute febrile illness and died rapidly from massive hemorrhage and dehydration. Although the patient's blood sample was negative by EBOV qRT-PCR testing, identification of viral reads by mNGS confirmed the presence of EBOV coinfection. In total, 9 new EBOV genomes (3 complete genomes, and an additional 6 ≥50% complete) were assembled. Relaxed molecular clock phylogenetic analysis demonstrated a molecular evolutionary rate for the Boende strain 4 to 10× slower than that of other Ebola lineages. These results demonstrate the utility of mNGS in broad-based pathogen detection and outbreak surveillance

Consensus guidelines for the use and interpretation of angiogenesis assays

The formation of new blood vessels, or angiogenesis, is a complex process that plays important roles in growth and development, tissue and organ regeneration, as well as numerous pathological conditions. Angiogenesis undergoes multiple discrete steps that can be individually evaluated and quantified by a large number of bioassays. These independent assessments hold advantages but also have limitations. This article describes in vivo, ex vivo, and in vitro bioassays that are available for the evaluation of angiogenesis and highlights critical aspects that are relevant for their execution and proper interpretation. As such, this collaborative work is the first edition of consensus guidelines on angiogenesis bioassays to serve for current and future reference